Maximum spacing estimation

The maximum spacing method tries to find a distribution function such that the spacings, D_(i), are all approximately of the same length. This is done by maximizing their geometric mean.

In statistics, maximum spacing estimation (MSE or MSP), or maximum product of spacing estimation (MPS), is a method for estimating the parameters of a univariate statistical model.^[1] The method requires maximization of the geometric mean of spacings in the data, which are the differences between the values of the cumulative distribution function at neighbouring data points.

The concept underlying the method is based on the probability integral transform, in that a set of independent random samples derived from any random variable should on average be uniformly distributed with respect to the cumulative distribution function of the random variable. The MPS method chooses the parameter values that make the observed data as uniform as possible, according to a specific quantitative measure of uniformity.

One of the most common methods for estimating the parameters of a distribution from data, the method of maximum likelihood (MLE), can break down in various cases, such as involving certain mixtures of continuous distributions.^[2] In these cases the method of maximum spacing estimation may be successful.

Apart from its use in pure mathematics and statistics, the trial applications of the method have been reported using data from fields such as hydrology,^[3] econometrics,^[4] magnetic resonance imaging,^[5] and others.^[6]

History and usage

The MSE method was derived independently by Russel Cheng and Nik Amin at the University of Wales Institute of Science and Technology, and Bo Ranneby at the Swedish University of Agricultural Sciences.^[2] The authors explained that due to the probability integral transform at the true parameter, the “spacing” between each observation should be uniformly distributed. This would imply that the difference between the values of the cumulative distribution function at consecutive observations should be equal. This is the case that maximizes the geometric mean of such spacings, so solving for the parameters that maximize the geometric mean would achieve the “best” fit as defined this way. Ranneby (1984) justified the method by demonstrating that it is an estimator of the Kullback–Leibler divergence, similar to maximum likelihood estimation, but with more robust properties for some classes of problems.

There are certain distributions, especially those with three or more parameters, whose likelihoods may become infinite along certain paths in the parameter space. Using maximum likelihood to estimate these parameters often breaks down, with one parameter tending to the specific value that causes the likelihood to be infinite, rendering the other parameters inconsistent. The method of maximum spacings, however, being dependent on the difference between points on the cumulative distribution function and not individual likelihood points, does not have this issue, and will return valid results over a much wider array of distributions.^[1]

The distributions that tend to have likelihood issues are often those used to model physical phenomena. Hall & al. (2004) seek to analyze flood alleviation methods, which requires accurate models of river flood effects. The distributions that better model these effects are all three-parameter models, which suffer from the infinite likelihood issue described above, leading to Hall's investigation of the maximum spacing procedure. Wong & Li (2006), when comparing the method to maximum likelihood, use various data sets ranging from a set on the oldest ages at death in Sweden between 1905 and 1958 to a set containing annual maximum wind speeds.

Definition

Given an iid random sample {x₁, ..., x_n} of size n from a univariate distribution with continuous cumulative distribution function F(x;θ₀), where θ₀ ∈ Θ is an unknown parameter to be estimated, let {x₍₁₎, ..., x_(n)} be the corresponding ordered sample, that is the result of sorting of all observations from smallest to largest. For convenience also denote x₍₀₎ = −∞ and x_(n+1) = +∞.

Define the spacings as the “gaps” between the values of the distribution function at adjacent ordered points:^[7] $D_{i}(\theta )=F(x_{(i)};\,\theta )-F(x_{(i-1)};\,\theta ),\quad i=1,\ldots ,n+1.$

Then the maximum spacing estimator of θ₀ is defined as a value that maximizes the logarithm of the geometric mean of sample spacings: ${\hat {\theta }}={\underset {\theta \in \Theta }{\operatorname {arg\,max} }}\;S_{n}(\theta ),\quad {\text{where }}\ S_{n}(\theta )=\ln \!\!{\sqrt[{n+1}]{D_{1}D_{2}\cdots D_{n+1}}}={\frac {1}{n+1}}\sum _{i=1}^{n+1}\ln {D_{i}}(\theta ).$

By the inequality of arithmetic and geometric means, function S_n(θ) is bounded from above by −ln(n+1), and thus the maximum has to exist at least in the supremum sense.

Note that some authors define the function S_n(θ) somewhat differently. In particular, Ranneby (1984) multiplies each D_i by a factor of (n+1), whereas Cheng & Stephens (1989) omit the 1⁄n+1 factor in front of the sum and add the “−” sign in order to turn the maximization into minimization. As these are constants with respect to θ, the modifications do not alter the location of the maximum of the function S_n.

Examples

This section presents two examples of calculating the maximum spacing estimator.

Example 1

Suppose two values x₍₁₎ = 2, x₍₂₎ = 4 were sampled from the exponential distribution F(x;λ) = 1 − e^−xλ, x ≥ 0 with unknown parameter λ > 0. In order to construct the MSE we have to first find the spacings:

i	F(x_(i))	F(x_(i−1))	D_i = F(x_(i)) − F(x_(i−1))
1	1 − e^−2λ	0	1 − e^−2λ
2	1 − e^−4λ	1 − e^−2λ	e^−2λ − e^−4λ
3	1	1 − e^−4λ	e^−4λ

The process continues by finding the λ that maximizes the geometric mean of the “difference” column. Using the convention that ignores taking the (n+1)st root, this turns into the maximization of the following product: (1 − e^−2λ) · (e^−2λ − e^−4λ) · (e^−4λ). Letting μ = e^−2λ, the problem becomes finding the maximum of μ⁵−2μ⁴+μ³. Differentiating, the μ has to satisfy 5μ⁴−8μ³+3μ² = 0. This equation has roots 0, 0.6, and 1. As μ is actually e^−2λ, it has to be greater than zero but less than one. Therefore, the only acceptable solution is $\mu =0.6\quad \Rightarrow \quad \lambda _{\text{MSE}}={\frac {\ln 0.6}{-2}}\approx 0.255,$ which corresponds to an exponential distribution with a mean of 1⁄λ ≈ 3.915. For comparison, the maximum likelihood estimate of λ is the inverse of the sample mean, 3, so λ_MLE = ⅓ ≈ 0.333.

Example 2

Suppose {x₍₁₎, ..., x_(n)} is the ordered sample from a uniform distribution U(a,b) with unknown endpoints a and b. The cumulative distribution function is F(x;a,b) = (x−a)/(b−a) when x∈[a,b]. Therefore, individual spacings are given by $D_{1}={\frac {x_{(1)}-a}{b-a}},\ \ D_{i}={\frac {x_{(i)}-x_{(i-1)}}{b-a}}\ {\text{for }}i=2,\ldots ,n,\ \ D_{n+1}={\frac {b-x_{(n)}}{b-a}}\ \$

Calculating the geometric mean and then taking the logarithm, statistic S_n will be equal to $S_{n}(a,b)={\tfrac {\ln(x_{(1)}-a)}{n+1}}+{\tfrac {\sum _{i=2}^{n}\ln(x_{(i)}-x_{(i-1)})}{n+1}}+{\tfrac {\ln(b-x_{(n)})}{n+1}}-\ln(b-a)$ Here only three terms depend on the parameters a and b. Differentiating with respect to those parameters and solving the resulting linear system, the maximum spacing estimates will be

{\hat {a}}={\frac {nx_{(1)}-x_{(n)}}{n-1}},\ \ {\hat {b}}={\frac {nx_{(n)}-x_{(1)}}{n-1}}.

These are known to be the uniformly minimum variance unbiased (UMVU) estimators for the continuous uniform distribution.^[1] In comparison, the maximum likelihood estimates for this problem $\scriptstyle {\hat {a}}=x_{(1)}$ and $\scriptstyle {\hat {b}}=x_{(n)}$ are biased and have higher mean-squared error.

Properties

Consistency and efficiency

Density

Distribution

Plot of a “J-shaped” density function and its corresponding distribution. A shifted Weibull with a scale parameter of 15, a shape parameter of 0.5, and a location parameter of 10. The density asymptotically approaches infinity as x approaches 10, rendering the estimates of the other parameters inconsistent. Note that there is no inflection point in the graph of the distribution.

The maximum spacing estimator is a consistent estimator in that it converges in probability to the true value of the parameter, θ₀, as the sample size increases to infinity.^[2] The consistency of maximum spacing estimation holds under much more general conditions than for maximum likelihood estimators. In particular, in cases where the underlying distribution is J-shaped, maximum likelihood will fail where MSE succeeds.^[1] An example of a J-shaped density is the Weibull distribution, specifically a shifted Weibull, with a shape parameter less than 1. The density will tend to infinity as x approaches the location parameter rendering estimates of the other parameters inconsistent.

Maximum spacing estimators are also at least as asymptotically efficient as maximum likelihood estimators, where the latter exist. However, MSEs may exist in cases where MLEs do not.^[1]

Sensitivity

Maximum spacing estimators are sensitive to closely spaced observations, and especially ties.^[8] Given $X_{i+k}=X_{i+k-1}=\cdots =X_{i},\,$ we get $D_{i+k}(\theta )=D_{i+k-1}(\theta )=\cdots =D_{i+1}(\theta )=0.\,$

When the ties are due to multiple observations, the repeated spacings (those that would otherwise be zero) should be replaced by the corresponding likelihood.^[1] That is, one should substitute $f_{i}(\theta )$ for $D_{i}(\theta )$ , as $\lim _{x_{i}\to x_{i-1}}{\frac {\int _{x_{i-1}}^{x_{i}}f(t;\theta )\,dt}{x_{i}-x_{i-1}}}=f(x_{i-1},\theta )=f(x_{i},\theta ),$ since $x_{i}=x_{i-1}$ .

When ties are due to rounding error, Cheng & Stephens (1989) suggest another method to remove the effects.^{[note 1]} Given r tied observations from x_i to x_i+r−1, let δ represent the round-off error. All of the true values should then fall in the range $x\pm \delta$ . The corresponding points on the distribution should now fall between $y_{L}=F(x-\delta ,{\hat {\theta }})$ and $y_{U}=F(x+\delta ,{\hat {\theta }})$ . Cheng and Stephens suggest assuming that the rounded values are uniformly spaced in this interval, by defining $D_{j}={\frac {y_{U}-y_{L}}{r-1}}\quad (j=i+1,\ldots ,i+r-1).$

The MSE method is also sensitive to secondary clustering.^[8] One example of this phenomenon is when a set of observations is thought to come from a single normal distribution, but in fact comes from a mixture normals with different means. A second example is when the data is thought to come from an exponential distribution, but actually comes from a gamma distribution. In the latter case, smaller spacings may occur in the lower tail. A high value of M(θ) would indicate this secondary clustering effect, and suggesting a closer look at the data is required.^[8]

Moran test

The statistic S_n(θ) is also a form of Moran or Moran-Darling statistic, M(θ), which can be used to test goodness of fit.^{[note 2]} It has been shown that the statistic, when defined as $S_{n}(\theta )=M_{n}(\theta )=-\sum _{j=1}^{n+1}\ln {D_{j}(\theta )},$ is asymptotically normal, and that a chi-squared approximation exists for small samples.^[8] In the case where we know the true parameter $\theta ^{0}$ , Cheng & Stephens (1989) show that the statistic $\scriptstyle M_{n}(\theta )$ has a normal distribution with ${\begin{aligned}\mu _{M}&\approx (n+1)(\ln(n+1)+\gamma )-{\frac {1}{2}}-{\frac {1}{12(n+1)}},\\\sigma _{M}^{2}&\approx (n+1)\left({\frac {\pi ^{2}}{6}}-1\right)-{\frac {1}{2}}-{\frac {1}{6(n+1)}},\end{aligned}}$ where γ is the Euler–Mascheroni constant which is approximately 0.57722.^{[note 3]}

The distribution can also be approximated by that of $A$ , where $A=C_{1}+C_{2}\chi _{n}^{2}\,$ , in which ${\begin{aligned}C_{1}&=\mu _{M}-{\sqrt {\frac {\sigma _{M}^{2}n}{2}}},\\C_{2}&={\sqrt {\frac {\sigma _{M}^{2}}{2n}}},\\\end{aligned}}$ and where $\chi _{n}^{2}$ follows a chi-squared distribution with $n$ degrees of freedom. Therefore, to test the hypothesis $H_{0}$ that a random sample of $n$ values comes from the distribution $F(x,\theta )$ , the statistic $T(\theta )={\frac {M(\theta )-C_{1}}{C_{2}}}$ can be calculated. Then $H_{0}$ should be rejected with significance $\alpha$ if the value is greater than the critical value of the appropriate chi-squared distribution.^[8]

Where θ₀ is being estimated by ${\hat {\theta }}$ , Cheng & Stephens (1989) showed that $S_{n}({\hat {\theta }})=M_{n}({\hat {\theta }})$ has the same asymptotic mean and variance as in the known case. However, the test statistic to be used requires the addition of a bias correction term and is: $T({\hat {\theta }})={\frac {M({\hat {\theta }})+{\frac {k}{2}}-C_{1}}{C_{2}}},$ where $k$ is the number of parameters in the estimate.

Generalized maximum spacing

Alternate measures and spacings

Ranneby & Ekström (1997) generalized the MSE method to approximate other measures besides the Kullback–Leibler measure. Ekström (1997) further expanded the method to investigate properties of estimators using higher order spacings, where an m-order spacing would be defined as $F(X_{j+m})-F(X_{j})$ .

Multivariate distributions

Ranneby & al. (2005) discuss extended maximum spacing methods to the multivariate case. As there is no natural order for $\mathbb {R} ^{k}(k>1)$ , they discuss two alternative approaches: a geometric approach based on Dirichlet cells and a probabilistic approach based on a “nearest neighbor ball” metric.

Notes

^ There appear to be some minor typographical errors in the paper. For example, in section 4.2, equation (4.1), the rounding replacement for $D_{j}$ , should not have the log term. In section 1, equation (1.2), $D_{j}$ is defined to be the spacing itself, and $M(\theta )$ is the negative sum of the logs of $D_{j}$ . If $D_{j}$ is logged at this step, the result is always ≤ 0, as the difference between two adjacent points on a cumulative distribution is always ≤ 1, and strictly < 1 unless there are only two points at the bookends. Also, in section 4.3, on page 392, calculation shows that it is the variance $\textstyle {\tilde {\sigma ^{2}}}$ which has MPS estimate of 6.87, not the standard deviation $\textstyle {\tilde {\sigma }}$ . – Editor
^ The literature refers to related statistics as Moran or Moran-Darling statistics. For example, Cheng & Stephens (1989) analyze the form $\scriptstyle M(\theta )=-\sum _{j=1}^{n+1}\log {D_{i}(\theta )}$ where $\scriptstyle D_{i}(\theta )$ is defined as above. Wong & Li (2006) use the same form as well. However, Beirlant & al. (2001) uses the form $\scriptstyle M_{n}=-\sum _{j=0}^{n}\ln {((n+1)(X_{n,i+1}-X_{n,i}))}$ , with the additional factor of $(n+1)$ inside the logged summation. The extra factors will make a difference in terms of the expected mean and variance of the statistic. For consistency, this article will continue to use the Cheng & Amin/Wong & Li form. -- Editor
^ Wong & Li (2006) leave out the Euler–Mascheroni constant from their description. -- Editor

References

Citations

Works cited

Anatolyev, Stanislav; Kosenok, Grigory (2005). "An alternative to maximum likelihood based on spacings" (PDF). Econometric Theory. 21 (2): 472–476. CiteSeerX 10.1.1.494.7340. doi:10.1017/S0266466605050255. S2CID 123004317. Archived from the original (PDF) on 2011-08-16. Retrieved 2009-01-21.
Beirlant, J.; Dudewicz, E.J.; Györfi, L.; van der Meulen, E.C. (1997). "Nonparametric entropy estimation: an overview" (PDF). International Journal of Mathematical and Statistical Sciences. 6 (1): 17–40. ISSN 1055-7490. Archived from the original (PDF) on May 5, 2005. Retrieved 2008-12-31. Note: linked paper is an updated 2001 version.
Cheng, R.C.H.; Amin, N.A.K. (1983). "Estimating parameters in continuous univariate distributions with a shifted origin". Journal of the Royal Statistical Society, Series B. 45 (3): 394–403. doi:10.1111/j.2517-6161.1983.tb01268.x. ISSN 0035-9246. JSTOR 2345411.
Cheng, R.C.H; Stephens, M. A. (1989). "A goodness-of-fit test using Moran's statistic with estimated parameters". Biometrika. 76 (2): 386–392. doi:10.1093/biomet/76.2.385.
Ekström, Magnus (1997). "Generalized maximum spacing estimates". University of Umeå, Department of Mathematics. 6. ISSN 0345-3928. Archived from the original on February 14, 2007. Retrieved 2008-12-30.
Hall, M.J.; van den Boogaard, H.F.P.; Fernando, R.C.; Mynett, A.E. (2004). "The construction of confidence intervals for frequency analysis using resampling techniques". Hydrology and Earth System Sciences. 8 (2): 235–246. doi:10.5194/hess-8-235-2004. ISSN 1027-5606.
Pieciak, Tomasz (2014). The maximum spacing noise estimation in single-coil background MRI data. IEEE International Conference on Image Processing. Paris. pp. 1743–1747. doi:10.1109/icip.2014.7025349.
Pyke, Ronald (1965). "Spacings". Journal of the Royal Statistical Society, Series B. 27 (3): 395–449. doi:10.1111/j.2517-6161.1965.tb00602.x. ISSN 0035-9246. JSTOR 2345793.
Ranneby, Bo (1984). "The maximum spacing method. An estimation method related to the maximum likelihood method". Scandinavian Journal of Statistics. 11 (2): 93–112. ISSN 0303-6898. JSTOR 4615946.
Ranneby, Bo; Ekström, Magnus (1997). "Maximum spacing estimates based on different metrics". University of Umeå, Department of Mathematics. 5. ISSN 0345-3928. Archived from the original on February 14, 2007. Retrieved 2008-12-30.
Ranneby, Bo; Jammalamadakab, S. Rao; Teterukovskiy, Alex (2005). "The maximum spacing estimation for multivariate observations" (PDF). Journal of Statistical Planning and Inference. 129 (1–2): 427–446. doi:10.1016/j.jspi.2004.06.059. Retrieved 2008-12-31.
Wong, T.S.T; Li, W.K. (2006). "A note on the estimation of extreme value distributions using maximum product of spacings". Time series and related topics: in memory of Ching-Zong Wei. Institute of Mathematical Statistics Lecture Notes – Monograph Series. Beachwood, Ohio: Institute of Mathematical Statistic. pp. 272–283. arXiv:math/0702830v1. doi:10.1214/074921706000001102. ISBN 978-0-940600-68-3. S2CID 88516426.

[9] There appear to be some minor typographical errors in the paper. For example, in section 4.2, equation (4.1), the rounding replacement for $D_{j}$ , should not have the log term. In section 1, equation (1.2), $D_{j}$ is defined to be the spacing itself, and $M(\theta )$ is the negative sum of the logs of $D_{j}$ . If $D_{j}$ is logged at this step, the result is always ≤ 0, as the difference between two adjacent points on a cumulative distribution is always ≤ 1, and strictly < 1 unless there are only two points at the bookends. Also, in section 4.3, on page 392, calculation shows that it is the variance $\textstyle {\tilde {\sigma ^{2}}}$ which has MPS estimate of 6.87, not the standard deviation $\textstyle {\tilde {\sigma }}$ . – Editor

[10] The literature refers to related statistics as Moran or Moran-Darling statistics. For example, Cheng & Stephens (1989) analyze the form $\scriptstyle M(\theta )=-\sum _{j=1}^{n+1}\log {D_{i}(\theta )}$ where $\scriptstyle D_{i}(\theta )$ is defined as above. Wong & Li (2006) use the same form as well. However, Beirlant & al. (2001) uses the form $\scriptstyle M_{n}=-\sum _{j=0}^{n}\ln {((n+1)(X_{n,i+1}-X_{n,i}))}$ , with the additional factor of $(n+1)$ inside the logged summation. The extra factors will make a difference in terms of the expected mean and variance of the statistic. For consistency, this article will continue to use the Cheng & Amin/Wong & Li form. -- Editor

[11] Wong & Li (2006) leave out the Euler–Mascheroni constant from their description. -- Editor

[CA83-1] ^ ^a ^b ^c ^d ^e ^f Cheng & Amin (1983)

[R84-2] Ranneby (1984)

[3] Hall & al. (2004)

[4] Anatolyev & Kosenok (2004)

[5] Pieciak (2014)

[6] Wong & Li (2006)

[Pyke65-7] Pyke (1965)

[CS89-8] Cheng & Stephens (1989)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[note 1]

[note 2]

[note 3]